Rewrite replace-topping from Guided Practice 5.1 using HOFC.
[ANSWER]
Last modified: Tue Oct 7 22:35:47 Eastern Daylight Time 2014